1. Temporal Logic :
Author: edited by Dov M. Gabbay, Hans Jürgen Ohlbach.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.,Logic design.
Classification :
QA76
.
6
E358
1994
